Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2950-2955	如果类分拆成不相交的 @ROW，然后对所有第三类如果那个第三类是 (@ROW) 的 member，然后那个第三类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	如果有点物理是 amenity 在有点 HotelUnit 和有点物理是客体的 subclass，然后对所有客体如果那个客体是有点 HotelUnit 的 instance，然后有存在另一个物理这样那个客体是那个有点 HotelUnit 的 instance 和那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid during 时距，然后如果第三实体是出售的 instance 和那个有认知的主事是那个第三实体的 agent 和那个另外实体是那个第三实体的 patient，然后那个货币测量是那个第三实体的 transaction 总额的声明 has 容易的语气在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	如果客体是礼堂座位的 instance 和那个客体是另一个客体的 part 和第三客体是那个另外客体的 part 和那个另外客体是礼堂的 instance 和那个第三客体是表演阶段的 instance 和第四客体是 located 在那个客体和那个第四客体是人类的 instance 和有点过程是看的 subclass 和对所有另一个过程如果那个另外过程是有点过程的 instance，然后那个第三客体是那个另外过程的 patient ，然后那个第四客体能够担当主事的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid 对于有点施事体和第三实体是有点施事体的 instance，然后如果第四实体是购买的 instance 和那个第三实体是那个第四实体的 agent 和那个有认知的主事是那个第四实体的源头和那个另外实体是那个第四实体的 patient，然后那个货币测量是那个第四实体的 transaction 总额的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	如果 ObsessiveCompulsiveDisorder 是有认知的主事的 attribute，然后有存在群体和类这样那个类是那个群体的 member 类别和那个类是调查的 subclass 或那个类是清洁的的 subclass 和如果那个类I 是那个类的 instance，然后那个有认知的主事是那个类I 的 agent 和那个有认知的主事 doesn't wants 那个类I
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	如果物理是 Protecting 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个第三实体ARM 这样那个实体是客体的 instance 和客体是那个物理的 patient 和那个第三实体ARM 是那个第三实体所描述的类别的 subclass 和那个物理 prevents 那个第三实体ARM 的发生或那个物理 hinders 那个第三实体ARM

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners